A Framework for Discrete Event Modelling & Simulation
نویسنده
چکیده
The paper discusses a layered design for a discrete event simulation framework based on the Beta programming language. A description of goals and motivation of simulation modelling is followed by a brief characterization of Beta and its suitability for work this area. After some general comments on the history and state of simulation programming the design of the BetaSIM framework is illustrated and discussed through a number of queuing network scenarios of increasing complexity. These examples focus on BetaSIM’s linguistic support for interruptible rendez-vous and nested server abstractions. A summary of strengths and limitations of object orientation and Beta for this class of application, as well as BetaSIM’s contribution to the effective description of queuing scenarios conclude the paper.
منابع مشابه
A discrete-event optimization framework for mixed-speed train timetabling problem
Railway scheduling is a complex task of rail operators that involves the generation of a conflict-free train timetable. This paper presents a discrete-event simulation-based optimization approach for solving the train timetabling problem to minimize total weighted unplanned stop time in a hybrid single and double track railway networks. The designed simulation model is used as a platform for ge...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملEmergency department resource optimisation for improved performance: a review
Emergency departments (EDs) have been becoming increasingly congested due to the combined impacts of growing demand, access block and increased clinical capability of the EDs. This congestion has known to have adverse impacts on the performance of the healthcare services. Attempts to overcome with this challenge have focussed largely on the demand management and the application of system wide p...
متن کاملDEVS Framework for Modelling , Simulation , Analysis , and Design ofHybrid
We make the case that Discrete Event System Speciication (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS ooers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and synthesize supervisory level controllers.
متن کاملPerformance Measurement and Improvement of Healthcare Service Using Discrete Event Simulation in Bahir Dar Clinic
This paper deals with the service performance analysis and improvement using discrete event simulation has been used. The simulation of the health care has been done by arena master development 14-version software. The performance measurement for this study are patients output, service rate, service efficiency and it is directly related to waiting time of patients in each service station, work ...
متن کامل